第三代高频自动链路建立协议分析及仿真

随着现代军用通信网络的发展与进步，第三代高频自动链路建立协议(Third-generation HF Automatic Link Establishment)将逐渐取代现有的第二代协议。首先从CSMA机制、Dwell—Groups技术、Multi—Slot技术等方面概略地介绍了3G-ALE技术。然后在同步工作模式下，将Dwell—Groups技术、Multi—Slot技术应用在协议当中进行了对比仿真，并分析了Dwell—Groups技术、Multi—Slot技术对3G-ALE系统性能的影响。     

多冗余点到点链路下OSPF扩散算法的一种改进方案

文章讨论了OSPF路由协议的扩散算法在多冗余点到点链路情况下存在的缺陷,提出了一种基于扩散接口选举的改进方案。     

互联网技术和国际互联网

本文先是说明internet、Internet和intranet各自的涵义和相互的区别 ,并简单介绍互联网的几项基本规约 ,包括IP、TCP、UDP、FTP、TFTP、SMTP和HTTP。其次说明WWW及其使用的超文本 /超媒体、浏览器和客户 /服务器技术的作用 ,解释Internet的骨干网和接入网以及内部网与防火墙。最后推测Internet的应用发展前景。     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

通讯网的演进

在光纤高速传输技术、光交换与智能光网等与宽带接入、多媒体、3G等网络应用技术的推动下，建设基于IPv6协议的IP基础电信网成为可能。现在IP网正在朝着有序的、可管理的、有QoS保障的、可以支持各类业务的综合业务基础网演进。电信网也正在从网络接入层上、从长途网络层面上、从本地网络层面上、从固定网向含3G在内的移动网络等方面向支持IP技术及其综合业务的方面全面推进。     

HART协议物理层设备的测试(上)

本文介绍HART协议物理层设备的测试要求、测试设备、测试方法及测试时的一些特别说明。     

Formal Analysis of Streaming Downloading Protocol for System Upgrading

For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements.     

新一代智能城域光网络

本提出了一种标准化的光控制平面。阐明了开了用于光传输网的控制平面所遇到的选择与挑战。光控制平面被分解成邻居发现、服务发现、连接控制和拓扑、资源发现等几个基本的过程。不同的网络组织和分割导致了几个不同的自动配置模型：软性持久链路模型、用户接口模型和对等模型。这是构成以IP为中心的光传输网的控制和管理基础。同时也介绍了基于SDH光交换的新一代CIENA公司智能光网络，它具有大容量光交换能力和网络拓扑结构自动发现、端对端电路配置、带宽动态分配等功能及特点，将大大提高数据、电路业务的服务质量，新一代智能光网络是干线和城域网络交换传输最佳的选择。     

WDM光环形网络保护及实现方法

提出了WDM环形网络的几种保护方案,分析了利用1:1环路配置方式进行WDM光环形网络保护的实现方法,简单介绍APS在环保护中的应用。